Fixed point - PDFSEARCH.IO - Document Search Engine

Fixed point
Results: 544

#	Item
271	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Predicate logic Functional languages Fixed-point combinator Id First-order logic Simply typed lambda calculus Isabelle Mathematical logic Logic Theoretical computer science
272	A Traced Monoidal Category of Relations (DRAFT) R.D. Arthan 10 December[removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-12-10 08:21:21 Monoidal categories Lambda calculus Traced monoidal category Monoid Morphism Sheaf Associative property Fixed-point combinator Cartesian closed category Algebra Mathematics Category theory
273	Coq of OCaml OCaml Workshop[removed]Introduction Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-01 15:08:24 Functional languages OCaml Caml Monad ML Coq Fixed-point combinator Exception handling Coenzyme Q10 Software engineering Computing Computer programming
274	Efficient Computation of PageRank Taher H. Haveliwala∗ Stanford University [removed] October 18, 1999 Abstract Add to Reading List Source URL: www-cs-students.stanford.edu Language: English - Date: 2005-12-29 14:58:32 Markov models Search engine optimization Crowdsourcing PageRank Reputation management Google Search Webgraph Fixed point Eigenvalues and eigenvectors Algebra Link analysis Mathematics
275	Police Service of Northern Ireland Police Issued Fixed Penalty Notice and Discretionary Disposal Statistics for Traffic Offences in Northern Ireland Add to Reading List Source URL: www.psni.police.uk Language: English - Date: 2014-09-24 05:55:17 Criminal law Fixed penalty notice Crimes Traffic law Crime Point system Metropolitan Police Traffic Criminal Justice Unit Transport Law Law enforcement in the United Kingdom
276	Australian Earthquake Engineering Society 2010 Conference, Perth, Western Australia In-plane drift capacity of point fixed glass façade systems Sivanerupan S1, Wilson J.L1, Gad E.F1 and Lam NTK2 1. Swinburne University Add to Reading List Source URL: www.aees.org.au Language: English - Date: 2013-11-30 07:02:33 Windows Building engineering Structural engineering Building materials Curtain wall Earthquake engineering Architectural glass Structural failure Insulated glazing Architecture Construction Engineering
277	Journal of Computer Security–1107 DOIJCSIOS Press 1083 Add to Reading List Source URL: lenx.100871.net Language: English - Date: 2012-05-09 22:37:04 Computer programming Integer overflow Buffer overflow Heap overflow Vulnerability Fixed-point arithmetic C Type system Infinite loop Software bugs Computing Software engineering
278	Formal Neighbourhoods, Combinatory B¨ohm Trees, and Untyped Normalization by Evaluation Peter Dybjer∗and Denis Kuperberg† February 29, 2008 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Computer science Normalisation by evaluation Combinatory logic Fixed-point combinator Simply typed lambda calculus Denotational semantics Free variables and bound variables Functional programming Standard ML Theoretical computer science Lambda calculus Mathematics
279	PDF Document Add to Reading List Source URL: www.aplusplus.net Language: English - Date: 2004-10-26 12:29:21 Programming paradigms Lambda calculus A++ Scripting languages Programming language Fixed-point combinator Abstraction ARS++ ARS-based programming Computing Software engineering Computer programming
280	NOT PROTECTIVELY MARKED Police Service of Northern Ireland User Guide to Fixed Penalty Notice Statistics Add to Reading List Source URL: www.psni.police.uk Language: English - Date: 2014-03-26 06:48:21 Criminal law Law enforcement in the United Kingdom Fixed penalty notice Crimes Traffic ticket Speed limit enforcement Police Service of Northern Ireland Metropolitan Police Traffic Criminal Justice Unit Point system Transport Land transport Traffic law

UPDATE